Functional programming - PDFSEARCH.IO - Document Search Engine

Functional programming
Results: 3706

#	Item
501	Extending Moose for Applications Shawn M Moore Best Practical Solutions 1 Add to Reading List Source URL: sartak.org Language: English - Date: 2009-06-23 12:41:53 Software engineering Computer programming Computing Lisp Functional languages Programming paradigms Object-oriented programming languages Metaprogramming Moose Mason Common Lisp Object System Hy Yet Another Perl Conference
502	Higher-Order Functional Reactive Programming without Spacetime Leaks Neelakantan R. Krishnaswami <> July 18, 2013 Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2013-07-18 05:12:55
503	Measuring Program Comprehension with Functional Magnetic Resonance Imaging Janet Siegmund, Sven Apel, Christian K¨astner, Chris Parnin, Anja Bethmann, Gunter Saake, Thomas Leich, and Andr´e Brechmann Programmers spend Add to Reading List Source URL: www.infosun.fim.uni-passau.de Language: English - Date: 2015-01-12 07:58:16 Cognitive science Neuroscience Cognition Cognitive neuroscience Magnetic resonance imaging Neuroimaging Computer programming Program comprehension Functional magnetic resonance imaging Sentence processing Magnetic resonance ACT-R
504	MorphScala: Safe Class Morphing with Macros Aggelos Biboudis Eugene Burmako University of Athens Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2014-07-29 07:43:08 Software engineering Computing Computer programming Object-oriented programming languages Scripting languages Object-oriented programming Programming paradigms Functional languages Metaclass Scala Macro Metaprogramming
505	Go Meta! A Case for Generative Programming and DSLs in Performance Critical Systems Tiark Rompf1 , Kevin J. Brown2 , HyoukJoong Lee2 , Arvind K. Sujeeth2 , Manohar Jonnalagedda4 , Nada Amin4 , Georg Ofenbeck5 , Alen Stoj Add to Reading List Source URL: drops.dagstuhl.de Language: English Software engineering Software Computer programming Programming language implementation Compiler construction Functional languages Object-oriented programming languages Parsing Compiler Metaprogramming Preprocessor Interpreter
506	Higher-Order Functional Reactive Programming in Bounded Space Neelakantan R. Krishnaswami Nick Benton Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2011-11-14 06:01:35
507	QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs Koen Claessen John Hughes Add to Reading List Source URL: www.eecs.northwestern.edu Language: English - Date: 2009-10-12 13:45:57 Software engineering Computer programming Functional languages Software testing Functional programming QuickCheck Random testing Literate programming Procedural programming languages Monad Test data generation Haskell
508	Fold-Based Fusion as a Library A Generative Programming Pearl Manohar Jonnalagedda, Sandro Stucki, EPFL Scala ‘15, Portland, June An Example Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2015-06-14 21:36:50 Software engineering Computer programming Computing Higher-order functions Programming language comparisons Functional languages Object-oriented programming languages Procedural programming languages Scala Fold Map ALGOL 68
509	A Simple Programming Language Type theory and functional programming This talk will about the connections between type theory and functional programming Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2010-09-23 07:51:42
510	The Why3 platform Version, May 2016 François Bobot1,2 Jean-Christophe Filliâtre1,2 Add to Reading List Source URL: why3.lri.fr Language: English - Date: 2016-05-27 08:19:42 Software Computer programming Proof assistants Functional languages Theoretical computer science Formal methods Logic in computer science Frama-C SPARK Coq Isabelle OCaml

UPDATE